program testValueNumbering;

class testValueNumbering
BEGIN
   
   VAR aa, bb, cc, dd : integer;

FUNCTION testValueNumbering;
BEGIN
   aa := bb + cc;
   bb := aa - dd;
   cc := bb + cc;
   dd := aa - dd
END

END
.

